Kiwi Contemplations

Contemplations on Testing Graph Properties

This article documents two programmatic comments regarding testing graph properties, which I made during the Dagstuhl workshop on Sublinear-Time Algorithms (July 2005). The first comment advocates paying more attention to the dependence of the tester’s complexity on the proximity parameter. The second comment advocates paying more attention to the question of testing general graphs (rather than...

Contemplations on Dirac’s equation in quaternionic coordinates

A formulation of Dirac’s equation using complex-quaternionic coordinates appears to yield an enormous gain in formal elegance, as there is no longer any need to invoke Dirac matrices. This formulation, however, entails several peculiarities, which we investigate and attempt to interpret.

Tort Reform, Kiwi-Style

Kiwi - A Minimalist CP Solver

Kiwi is a minimalist and extendable Constraint Programming (CP) solver specifically designed for education. The particularities of Kiwi stand in its generic trailing state restoration mechanism and its modulable use of variables. By developing Kiwi, the author does not aim to provide an alternative to full featured constraint solvers but rather to provide readers with a basic architecture that ...

KiWi - Knowledge in a Wiki

The objective of the project KiWi is to develop an advanced knowledge management system (the “KiWi system”) based on a semantic wiki. This poster describes the KiWi project, its technical approach, goals and the two use-cases which will be covered by the KiWi-System.